定期ミートアップ 第26回
/prog-lang-sys-ja/定期ミートアップ 第26回
#Shiika
型推論
paper/Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://github.com/Kixiron/rust-langdev#type-checking-1
paper/Local type inference
HM型推論：型が全く書いてないところから復元する
bidirectional：メソッドの引数とかは型が書いてあるものとする
synthesize：型を推論するフェーズ
check：型の整合性を確認するフェーズ
これらを切り替えつつ進む
Complete and Easy〜
Rust実装
https://github.com/JDemler/BidirectionalTypechecking/blob/master/src/original.rs
shiika/README